Varieties of contextuality based on probability and structural nonembeddability

Different analytic notions of contextuality fall into two major groups: probabilistic and strong contextuality. Kochen Specker's Theorem~0 is a demarcation criterion for differentiating between those groups. Whereas still allows classical models, albeit with nonclassical probabilities, the logico-algebraic "strong" form characterizes collections quantum observables that have no faithfully embedding (extended) Boolean algebras. Both forms indicate in- or under-determination can be termed "value indefinite" formalized by partial functions theoretical computer sciences.